Greasemonkey est une extension pour les navigateurs Web Mozilla Firefox et Epiphany permettant de modifier le comportement d'une page Web en associant un script JavaScript au chargement de celle-ci. Il est ainsi possible d'intervenir sur une page Web pour y ajouter ou supprimer du contenu et y modifier le comportement des liens, entre autres.
De très nombreux scripts sont mis à disposition par les internautes qui les ont conçus. Vous trouverez ici le site officiel pour les scripts (communauté userscript.org).
http://userscripts.org" ne fonctionne plus sous cette forme, il faut rajouter :8080 a la fin comme ceci : "http://userscripts.org:8080".
"http://userscripts.org:8080" ne fonctionne pas non plus…
Vous pouvez également transformer les scripts en bookmarklet. Certains scripts peuvent être dangereux, préférez le site officiel, veuillez lire la description - et vérifier les avis.
Greasemonkey peut changer le design des pages, mais on lui préférera l'extension stylish. Stylish affectera le rendu directement contrairement à greasemonkey qui le changera par javascript (donc on aperçoit la page non changée à chaque fois). Vous pouvez tout de même utiliser les script - modificateur de style de la communauté userstyles.org.
Puis utilisez
Une alternative est l'utilisation de l'extension firefox MediaPlayerConnectivity et le configurer pour lancer dans vlc ( par exemple ) - nécessite d'avoir les dernières versions.
Ajouter un lecteur mp3 dans la page à côté des liens mp3.
A utiliser conjointement avec l'extension linkification pour transformer les liens texte, en véritable lien cliquable (au lieu de copier le texte pour le mettre dans la bar d'url) :
Télécharger automatiquement à partir de :
Utiliser cette page ou l'extension scriptifypour convertir les scripts greasemonkey en extension Firefox. ( fonctionne également pour tout autre script javascript ).
Procédure :